Nuprl Definition : token def 13,42
"$token" is Primitive 
latex

Upcore 1, core 1

origin